Skip to content

Actions: LPCIC/coq-elpi-lang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

v0.0.8 Visual Studio store upload #5: Release v0.0.8 published by gares
20s
20s
syntax for coq-elpi 2.0 Node.js CI #10: Commit e90417a pushed by gares
21s master
master
21s
Visual Studio store upload Visual Studio store upload #4: Manually run by gares
22s master
master
22s
v0.0.7 Visual Studio store upload #3: Release v0.0.7 published by gares
21s
21s
Update vcstore.yaml Node.js CI #9: Commit dba0650 pushed by gares
22s master
master
22s
Update main.yaml Node.js CI #8: Commit 6e424ef pushed by gares
21s master
master
21s
Update main.yaml Node.js CI #7: Commit 5d30fb2 pushed by gares
19s master
master
19s
Update CHANGELOG.md Node.js CI #6: Commit ffb3328 pushed by gares
1m 0s master
master
1m 0s
syntax for elpi 2.0 Node.js CI #5: Commit 6bab9a2 pushed by gares
14s master
master
14s