Skip to content

Actions: logsem/iris-tutorial

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix fixpoint import error and ExclBot -> ExclInvalid rename CI #111: Pull request #16 opened by tz18
Action required tz18:fixing_some_things
tz18:fixing_some_things
Action required
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
Pin VsCoq version to 2.2.0 in devcontainer.json for compatibility with the language server in the container CI #97: Pull request #7 opened by itoooak
2m 23s itoooak:pin-vscoq-version
itoooak:pin-vscoq-version
2m 23s
add todo on guarded fixpoints CI #96: Commit e88369a pushed by simongregersen
2m 27s master
master
2m 27s
Updated email address CI #95: Commit 6314530 pushed by MatteP1
2m 25s master
master
2m 25s
fix typo in [theories/] CI #94: Commit e346186 pushed by simongregersen
2m 24s master
master
2m 24s
fixed typo CI #93: Commit d146ed7 pushed by simongregersen
2m 27s master
master
2m 27s
Minor typo in structured_conc.v CI #92: Pull request #6 opened by rudynicolop
2m 25s rudynicolop:typo
rudynicolop:typo
2m 25s
more 'forall' -> 'universal' quantification CI #91: Commit 6252fe1 pushed by simongregersen
2m 22s master
master
2m 22s
Update later.v (#3) CI #90: Commit 4bc75dd pushed by simongregersen
2m 26s master
master
2m 26s
Update later.v CI #89: Pull request #3 synchronize by simongregersen
2m 25s jsalzbergedu:patch-1
jsalzbergedu:patch-1
2m 25s
Update later.v CI #88: Pull request #3 synchronize by simongregersen
2m 32s jsalzbergedu:patch-1
jsalzbergedu:patch-1
2m 32s
fix #4 CI #87: Commit a28062e pushed by simongregersen
2m 25s master
master
2m 25s
update html header CI #86: Commit a362658 pushed by amintimany
2m 25s master
master
2m 25s
remove coqdocjs as submodule and add it normally CI #85: Commit b56b400 pushed by amintimany
2m 25s master
master
2m 25s