Skip to content

Actions: logsem/iris-tutorial

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Typo Build Development #129: Commit 1d54516 pushed by simongregersen
3m 15s master
master
3m 15s
Typo Build Development #128: Pull request #20 opened by hei411
2m 56s hei411:patch-1
hei411:patch-1
2m 56s
update README Build Development #127: Commit 20dda68 pushed by simongregersen
3m 26s master
master
3m 26s
update README Build Development #126: Commit 912405d pushed by simongregersen
3m 20s master
master
3m 20s
theories/ticket_lock.v: simplify proof of release_spec Build Development #125: Commit f793420 pushed by simongregersen
3m 20s master
master
3m 20s
theories/ticket_lock.v: simplify proof of release_spec Build Development #124: Pull request #17 synchronize by simongregersen
2m 59s Flupp:improve-ticket_lock-release_spec
Flupp:improve-ticket_lock-release_spec
2m 59s
fix devcontainer Build Development #123: Commit f281e36 pushed by simongregersen
12m 59s master
master
12m 59s
update devcontainer Dockerfile Build Development #122: Commit 1d4abc5 pushed by simongregersen
14m 59s master
master
14m 59s
#18 with modifications Build Development #121: Pull request #19 synchronize by simongregersen
2m 57s update
update
2m 57s
#18 with modifications Build Development #120: Pull request #19 synchronize by simongregersen
13m 15s update
update
13m 15s
#18 with modifications Build Development #119: Pull request #19 opened by simongregersen
14m 40s update
update
14m 40s
Update to latest rocq Build Development #118: Pull request #18 synchronize by srghma
27s srghma:master
srghma:master
27s
Update to latest rocq Build Development #116: Pull request #18 synchronize by srghma
24s srghma:master
srghma:master
24s
Update to latest rocq Build Development #114: Pull request #18 synchronize by srghma
1m 36s srghma:master
srghma:master
1m 36s
theories/ticket_lock.v: simplify proof of release_spec Build Development #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 Build Development #109: Commit 62eb294 pushed by MatteP1
2m 37s master
master
2m 37s
minor fixes Build Development #108: Commit 29825b0 pushed by MatteP1
2m 31s master
master
2m 31s
added missing word Build Development #107: Commit 8b10c29 pushed by MatteP1
2m 32s master
master
2m 32s
fixed formatting Build Development #106: Commit 50e7646 pushed by MatteP1
2m 25s master
master
2m 25s
Fix typo in resource algebra module Build Development #105: Commit b996c19 pushed by simongregersen
2m 30s master
master
2m 30s
Fix typo in resource algebra module Build Development #104: Pull request #13 opened by ia0
2m 24s ia0:fix
ia0:fix
2m 24s
fix some deprecation warnings Build Development #103: Commit 7b67453 pushed by simongregersen
2m 27s master
master
2m 27s
README Build Development #102: Commit 3cbd749 pushed by simongregersen
2m 18s master
master
2m 18s
Update to Iris 4.3.0. Build Development #101: Commit 948f65e pushed by simongregersen
2m 18s master
master
2m 18s
Update to Iris 4.3.0. Build Development #100: Pull request #12 opened by arthuraa
2m 16s arthuraa:iris-4.3.0
arthuraa:iris-4.3.0
2m 16s