Skip to content

Actions: epfl-systemf/mltac2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
57 workflow runs
57 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
readme: use Unicode greater-than symbol Build #57: Commit a614b99 pushed by dhalilov
3m 36s main
main
3m 36s
feat: simplify signatures and documentation Build #56: Pull request #8 opened by dhalilov
5m 1s dhalilov:shorter-signatures
dhalilov:shorter-signatures
5m 1s
readme: update README Build #55: Commit 2cdb92e pushed by dhalilov
2m 54s main
main
2m 54s
readme: update README Build #54: Pull request #7 opened by dhalilov
3m 9s dhalilov:update-readme
dhalilov:update-readme
3m 9s
feat: support Rocq 9.0 and 9.1 Build #53: Commit 12c1343 pushed by dhalilov
3m 44s main
main
3m 44s
feat: support Rocq 9.0 to 9.2 Build #52: Pull request #5 synchronize by dhalilov
3m 8s dhalilov:support-9.2
dhalilov:support-9.2
3m 8s
feat: support Rocq 9.0 to 9.2 Build #51: Pull request #5 synchronize by dhalilov
4m 37s dhalilov:support-9.2
dhalilov:support-9.2
4m 37s
feat: support Rocq 9.0 to 9.2 Build #50: Pull request #5 synchronize by dhalilov
2m 58s dhalilov:support-9.2
dhalilov:support-9.2
2m 58s
feat: improve Std tactics API and add documentation Build #49: Commit a9a729a pushed by dhalilov
2m 9s main
main
2m 9s
feat: improve Std tactics API and add documentation Build #48: Pull request #6 synchronize by dhalilov
3m 16s dhalilov:std-tactics
dhalilov:std-tactics
3m 16s
feat: improve Std tactics API and add documentation Build #47: Pull request #6 synchronize by dhalilov
2m 7s dhalilov:std-tactics
dhalilov:std-tactics
2m 7s
feat: improve Std tactics API and add documentation Build #46: Pull request #6 synchronize by dhalilov
2m 13s dhalilov:std-tactics
dhalilov:std-tactics
2m 13s
feat: improve Std tactics API and add documentation Build #45: Pull request #6 synchronize by dhalilov
2m 0s dhalilov:std-tactics
dhalilov:std-tactics
2m 0s
feat: improve Std tactics API and add documentation Build #44: Pull request #6 synchronize by dhalilov
2m 4s dhalilov:std-tactics
dhalilov:std-tactics
2m 4s
feat: improve Std tactics API and add documentation Build #43: Pull request #6 synchronize by dhalilov
1m 58s dhalilov:std-tactics
dhalilov:std-tactics
1m 58s
feat: improve Std tactics API and add documentation Build #42: Pull request #6 synchronize by dhalilov
2m 3s dhalilov:std-tactics
dhalilov:std-tactics
2m 3s
feat: improve Std tactics API and add documentation Build #41: Pull request #6 opened by dhalilov
2m 9s dhalilov:std-tactics
dhalilov:std-tactics
2m 9s
feat: support Rocq 9.0 to 9.2 Build #40: Pull request #5 synchronize by dhalilov
2m 44s dhalilov:support-9.2
dhalilov:support-9.2
2m 44s
feat: support Rocq 9.0 to 9.2 Build #39: Pull request #5 synchronize by dhalilov
2m 36s dhalilov:support-9.2
dhalilov:support-9.2
2m 36s
feat: support Rocq 9.0 to 9.2 Build #38: Pull request #5 synchronize by dhalilov
2m 42s dhalilov:support-9.2
dhalilov:support-9.2
2m 42s
feat: support Rocq 9.0 to 9.2 Build #37: Pull request #5 synchronize by dhalilov
2m 35s dhalilov:support-9.2
dhalilov:support-9.2
2m 35s
feat: support Rocq 9.0 to 9.2 Build #36: Pull request #5 synchronize by dhalilov
3m 4s dhalilov:support-9.2
dhalilov:support-9.2
3m 4s
feat: support Rocq 9.0 to 9.2 Build #35: Pull request #5 synchronize by dhalilov
2m 34s dhalilov:support-9.2
dhalilov:support-9.2
2m 34s
feat: support Rocq 9.0 to 9.2 Build #34: Pull request #5 synchronize by dhalilov
2m 42s dhalilov:support-9.2
dhalilov:support-9.2
2m 42s
feat: support Rocq 9.0 to 9.2 Build #33: Pull request #5 synchronize by dhalilov
2m 56s dhalilov:support-9.2
dhalilov:support-9.2
2m 56s