Skip to content

Actions: midspiral/xyflow-lemmascript

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 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
ci LemmaScript #18: Commit 07addb4 pushed by namin
1m 7s lemmascript
lemmascript
1m 7s
fix formatting in README LemmaScript #17: Commit 725b52d pushed by namin
1m 14s lemmascript
lemmascript
1m 14s
modify CI badge LemmaScript #16: Commit a702942 pushed by namin
1m 18s lemmascript
lemmascript
1m 18s
CI badge LemmaScript #15: Commit b8ebe16 pushed by namin
1m 16s lemmascript
lemmascript
1m 16s
isAcyclic LemmaScript #14: Commit a3af106 pushed by namin
1m 30s lemmascript
lemmascript
1m 30s
a bit more on the proofs LemmaScript #13: Commit afa799b pushed by namin
1m 10s lemmascript
lemmascript
1m 10s
a bit more LemmaScript #12: Commit 1a73487 pushed by namin
1m 12s lemmascript
lemmascript
1m 12s
lemmascript: add a verified cycle detector LemmaScript #11: Commit 259e9ac pushed by namin
1m 19s lemmascript
lemmascript
1m 19s
Merge remote-tracking branch 'up/main' into lemmascript LemmaScript #10: Commit 626ed62 pushed by namin
49s lemmascript
lemmascript
49s
Merge pull request #5768 from xyflow/changeset-release/main Playwright Tests #1: Commit 03221f2 pushed by namin
3m 17s main
main
3m 17s
Merge pull request #5768 from xyflow/changeset-release/main Codespell #1: Commit 03221f2 pushed by namin
15s main
main
15s
Merge pull request #5768 from xyflow/changeset-release/main Release #1: Commit 03221f2 pushed by namin
50s main
main
50s
bump CI LemmaScript #9: Commit a59db16 pushed by namin
57s lemmascript
lemmascript
57s
FilterStrict proved LemmaScript #8: Commit e66c543 pushed by namin
51s lemmascript
lemmascript
51s
retrigger CI after update LemmaScript #7: Commit 655f61b pushed by namin
58s lemmascript
lemmascript
58s
retrigger CI after update LemmaScript #6: Commit 1d2625e pushed by namin
1m 5s lemmascript
lemmascript
1m 5s
retrigger CI after update LemmaScript #5: Commit 83e3d6a pushed by namin
52s lemmascript
lemmascript
52s
retrigger CI after LemmaScript update LemmaScript #4: Commit 959efb2 pushed by namin
53s lemmascript
lemmascript
53s
update readme with new verified function LemmaScript #3: Commit 3ddf78a pushed by namin
1m 19s lemmascript
lemmascript
1m 19s
update README with new verified function LemmaScript #2: Commit c2b5076 pushed by namin
47s lemmascript
lemmascript
47s
Merge branch 'lemmascript' of github.com:midspiral/xyflow-lemmascript… LemmaScript #1: Commit eb3bc56 pushed by namin
40s lemmascript
lemmascript
40s