Skip to content

Actions: LPCIC/coq-elpi-lang

Actions

Node.js CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yaml
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

syntax for coq-elpi 2.0 Node.js CI #10: Commit e90417a pushed by gares
November 28, 2024 21:00 21s master
master
November 28, 2024 21:00 21s
Update vcstore.yaml Node.js CI #9: Commit dba0650 pushed by gares
November 22, 2024 09:26 22s master
master
November 22, 2024 09:26 22s
Update main.yaml Node.js CI #8: Commit 6e424ef pushed by gares
November 22, 2024 09:26 21s master
master
November 22, 2024 09:26 21s
Update main.yaml Node.js CI #7: Commit 5d30fb2 pushed by gares
November 22, 2024 09:25 19s master
master
November 22, 2024 09:25 19s
Update CHANGELOG.md Node.js CI #6: Commit ffb3328 pushed by gares
November 22, 2024 09:24 1m 0s master
master
November 22, 2024 09:24 1m 0s
syntax for elpi 2.0 Node.js CI #5: Commit 6bab9a2 pushed by gares
November 22, 2024 09:23 14s master
master
November 22, 2024 09:23 14s
add publishing script to package.json Node.js CI #4: Commit 04c0a7d pushed by gares
November 7, 2023 11:57 22s master
master
November 7, 2023 11:57 22s
Merge pull request #3 from LPCIC/drop-dep Node.js CI #3: Commit ff9b490 pushed by gares
November 3, 2023 09:36 27s master
master
November 3, 2023 09:36 27s
Drop dep Node.js CI #2: Pull request #3 synchronize by gares
November 2, 2023 12:02 30s drop-dep
drop-dep
November 2, 2023 12:02 30s
Drop dep Node.js CI #1: Pull request #3 opened by gares
October 31, 2023 15:41 24s drop-dep
drop-dep
October 31, 2023 15:41 24s