Skip to content

Actions: ionchirica/gospel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Iteration proposal Build and test #16: Commit 355c29a pushed by ionchirica
July 2, 2024 09:07 7m 46s iteration
iteration
July 2, 2024 09:07 7m 46s
Iteration (Wip) Build and test #15: Commit 552ec34 pushed by ionchirica
May 15, 2024 10:15 7m 44s iteration
iteration
May 15, 2024 10:15 7m 44s
Fixed dune.inc Build and test #14: Commit a6edf60 pushed by ionchirica
April 3, 2024 15:09 4m 20s pps_issue
pps_issue
April 3, 2024 15:09 4m 20s
Test file Build and test #13: Commit 6802062 pushed by ionchirica
April 3, 2024 15:01 4m 12s pps_issue
pps_issue
April 3, 2024 15:01 4m 12s
Update CHANGES Build and test #12: Commit e683d7e pushed by ionchirica
April 3, 2024 14:22 4m 36s pps_issue
pps_issue
April 3, 2024 14:22 4m 36s
Preprocessor bug Build and test #11: Commit 60078b5 pushed by ionchirica
April 3, 2024 10:05 4m 19s pps_issue
pps_issue
April 3, 2024 10:05 4m 19s
Merge pull request #386 from n-osborne/fix-is_ts_tuple Build and test #10: Commit f8a38c4 pushed by ionchirica
April 3, 2024 09:00 8m 56s main
main
April 3, 2024 09:00 8m 56s
account for new merge local documentation #3: Commit c2fc98a pushed by ionchirica
March 25, 2024 11:54 1m 17s implementations_gospel
implementations_gospel
March 25, 2024 11:54 1m 17s
account for new merge Build and test #9: Commit c2fc98a pushed by ionchirica
March 25, 2024 11:54 4m 52s implementations_gospel
implementations_gospel
March 25, 2024 11:54 4m 52s
Merge pull request #376 from n-osborne/write-gospel-file Build and test #8: Commit c198f14 pushed by ionchirica
March 25, 2024 11:52 8m 15s main
main
March 25, 2024 11:52 8m 15s
Merge pull request #376 from n-osborne/write-gospel-file local documentation #2: Commit c198f14 pushed by ionchirica
March 25, 2024 11:52 1m 17s main
main
March 25, 2024 11:52 1m 17s
Merge pull request #376 from n-osborne/write-gospel-file documentation #1: Commit c198f14 pushed by ionchirica
March 25, 2024 11:52 19s main
main
March 25, 2024 11:52 19s
formatting Build and test #7: Commit d76965d pushed by ionchirica
March 23, 2024 17:00 4m 11s implementations_gospel
implementations_gospel
March 23, 2024 17:00 4m 11s
reverted test Build and test #6: Commit bfdd9c0 pushed by ionchirica
March 23, 2024 16:54 4m 17s implementations_gospel
implementations_gospel
March 23, 2024 16:54 4m 17s
fix axiom location Build and test #5: Commit 274c247 pushed by ionchirica
March 23, 2024 16:47 4m 0s implementations_gospel
implementations_gospel
March 23, 2024 16:47 4m 0s
forgotten artefact Build and test #4: Commit bc08774 pushed by ionchirica
March 23, 2024 14:59 4m 53s implementations_gospel
implementations_gospel
March 23, 2024 14:59 4m 53s
fix erroneous test Build and test #3: Commit 662e5da pushed by ionchirica
March 23, 2024 14:53 4m 19s implementations_gospel
implementations_gospel
March 23, 2024 14:53 4m 19s
clean artefacts & formatting Build and test #2: Commit e3be4d0 pushed by ionchirica
March 22, 2024 18:19 4m 30s implementations_gospel
implementations_gospel
March 22, 2024 18:19 4m 30s
major rebase from main Build and test #1: Commit 44bc5a5 pushed by ionchirica
March 22, 2024 18:10 7m 46s implementations_gospel
implementations_gospel
March 22, 2024 18:10 7m 46s
major rebase from main local documentation #1: Commit 44bc5a5 pushed by ionchirica
March 22, 2024 18:10 1m 17s implementations_gospel
implementations_gospel
March 22, 2024 18:10 1m 17s