Skip to content

Actions: u8cat/iris-complete

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 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
fix typos Build Development #6: Commit a4d277f pushed by u8cat
10m 35s main
main
10m 35s
bump Iris & clean up Build Development #5: Commit 650149f pushed by u8cat
10m 42s main
main
10m 42s
ecxt_requisiteness Build Development #4: Commit 6bae153 pushed by u8cat
10m 44s main
main
10m 44s
merge own_state_reducible and own_state_update Build Development #3: Commit 2cf3fb2 pushed by u8cat
10m 53s main
main
10m 53s
update language axioms Build Development #2: Commit e8a820b pushed by u8cat
10m 48s main
main
10m 48s
GitHub action Build Development #1: Commit 115ee70 pushed by u8cat
14m 35s main
main
14m 35s