Skip to content

Actions: logsem/iris-tutorial

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
15 workflow runs
15 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Update to latest rocq CI #116: Pull request #18 synchronize by srghma
Action required srghma:master
srghma:master
Action required
Update to latest rocq CI #115: Pull request #18 synchronize by srghma
Action required srghma:master
srghma:master
Action required
Update to latest rocq CI #114: Pull request #18 synchronize by srghma
1m 36s srghma:master
srghma:master
1m 36s
Update to latest rocq CI #113: Pull request #18 opened by srghma
Action required srghma:master
srghma:master
Action required
theories/ticket_lock.v: simplify proof of release_spec CI #112: Pull request #17 opened by Flupp
2m 44s Flupp:improve-ticket_lock-release_spec
Flupp:improve-ticket_lock-release_spec
2m 44s
fixed wrong word CI #109: Commit 62eb294 pushed by MatteP1
2m 37s master
master
2m 37s
minor fixes CI #108: Commit 29825b0 pushed by MatteP1
2m 31s master
master
2m 31s
added missing word CI #107: Commit 8b10c29 pushed by MatteP1
2m 32s master
master
2m 32s
fixed formatting CI #106: Commit 50e7646 pushed by MatteP1
2m 25s master
master
2m 25s
Fix typo in resource algebra module CI #105: Commit b996c19 pushed by simongregersen
2m 30s master
master
2m 30s
Fix typo in resource algebra module CI #104: Pull request #13 opened by ia0
2m 24s ia0:fix
ia0:fix
2m 24s
fix some deprecation warnings CI #103: Commit 7b67453 pushed by simongregersen
2m 27s master
master
2m 27s
README CI #102: Commit 3cbd749 pushed by simongregersen
2m 18s master
master
2m 18s
Update to Iris 4.3.0. CI #101: Commit 948f65e pushed by simongregersen
2m 18s master
master
2m 18s
Update to Iris 4.3.0. CI #100: Pull request #12 opened by arthuraa
2m 16s arthuraa:iris-4.3.0
arthuraa:iris-4.3.0
2m 16s